منابع مشابه
Nested Abnormality Theories
We propose a new approach to the use of circumscription for representing knowledge. Nested abnormality theories are similar to simple abnormality theories introduced by McCarthy, except that their axioms may have a nested structure , with each level corresponding to another application of the circumscription operator. The new style of applying circumscription sometimes leads to more economical ...
متن کاملComplexity of Nested Circumscription and Abnormality Theories
We propose LCir , an extension of circumscription by allowing propositional combinations and nesting of circumscriptive theories. As shown, Lifschitz’s nested abnormality theories (NATs, introduced in AIJ, 1995) are naturally embedded into this language. We analyze the complexity of LCir and NATs, and in particular the effect of nesting. The latter is found a source of complexity, as both forma...
متن کاملComplexity of Nested Circumscription and Nested Abnormality Theories
Circumscription has been recognized as an important principle for knowledge representation and common-sense reasoning. The need for a circumscriptive formalism that allows for simple yet elegant modular problem representation has led Lifschitz (AIJ, 1995) to introduce nested abnormality theories (NATs) as a tool for modular knowledge representation, tailored for applying circumscription to mini...
متن کاملAbteilung Wissensbasierte Systeme Complexity of Nested Circumscription and Nested Abnormality Theories
Circumscription has been recognized as an important principle for knowledge representation and common-sense reasoning. The need for a circumscriptive formalism that allows for simple yet elegant modular problem representation has led Lifschitz (AIJ, 1995) to introduce nested abnormality theories (NATs) as a tool for modular knowledge representation, tailored for applying circumscription to mini...
متن کاملMental Abnormality: Facts and Theories
and will appeal to the lay public: but it also contains much wisdom for the general practitioner and for the psychiatrist. He sets out to survey the whole field of psychiatry, so that great clinical detail is obviously impossible: nevertheless there is ample compensation for the lack of this in the lucidity of Dr. Culpin's style and his refreshing commonsense approach. An interesting and welcom...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Artificial Intelligence
سال: 1995
ISSN: 0004-3702
DOI: 10.1016/0004-3702(95)98594-e